上个月，微软分享了将 VS Code 打造成开源 AI 编辑器的计划。今天，微软在 VS Code 官网表示已经达成了第一个里程碑：GitHub Copilot Chat 扩展程序现已在 GitHub 上根据 MIT 许可证 开源。
最近，一款新的开源 AI 驱动的代码编辑器 Void IDE发布了测试版，它将自己定位为一个注重隐私且免费的替代品，与流行的闭源 AI 编辑器如 Cursor 和 GitHub Copilot 竞争。
被选为GitHub Copilot官方模型后，Claude 4直接被诱导出bug了！
微软扔出了一个重磅炸弹：VS Code 将开源 GitHub Copilot Chat 扩展，并采用最宽松的 MIT 协议。微软扔出了一个重磅炸弹：VS Code 将开源 GitHub Copilot Chat 扩展，并采用最宽松的 MIT 协议。
数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法开始卡壳，乘法更是全面失控。Copilot究竟是神助攻还是添乱？
视频新人博主陶哲轩又更新了！这次是“喂饭级”AI教程—— 手把手演示如何只用GitHub Copilot证明函数极限问题。
AI 圈子每时每刻都在发生巨大变化，编程工具赛道掀起技术革新浪潮。以原生 IDE 体验见长的 Cursor ，凭借其 Agent 模式在 AI 编程领域脱颖而出，对 GitHub Copilot 以及 VS Code 与 JetBrains 全家桶的地位发起挑战。
GitHub Copilot大约是在2021年夏天发布的，那时它真的非常惊艳，一发布出来就感觉像是魔法。
GitHub 在其 Copilot 功能中引入了一项基于 AI 的密码扫描功能，该功能已经整合到 GitHub Secret Protection 中。
可引导性（steerability）是下一个关键点。你需要扩展问题的定义，或者Agent需要回来提出更多问题。在流程的最后，你要验证结果。
